$\forall$$i$:Id, $L$:(Knd List), $x$:Id.
\\[0ex]@$i$: only members of $L$ read $x$ 
\\[0ex]realizes ${\it es}$.
\\[0ex]$\forall$$k$:Knd. ($\uparrow$hasloc($k$;$i$)) $\Rightarrow$ ($\neg$($k$ $\in$ $L$)) $\Rightarrow$ es{-}independent(${\it es}$;$i$;$k$;$x$)